
interface Rco {

    command void init();
    command void broadcast(uint8_t* msg, uint16_t len);
    event void deliver(uint8_t nodeid, uint8_t msg_len, uint16_t v_clk, char * msg);

}
